Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Analítica	Análisis de sistemas críticos en teoría de tipos	Luna, Carlos Daniel	EN: CACIC 2004 [CD-ROM] / Congreso Argentino de Ciencias de la Computación (10º : 2004 : La Matanza) Edición: 1a ed. (2004) (Libro)		----------
Artículo	Aprendizaje automático: aplicaciones en visión por computadora	Lanzarini, Laura Cristina	(2018)		----------
Analítica	Combinando "Model Checking" y "Proof Checking" en el análisis de sistemas de tiempo real	Luna, Carlos Daniel	EN: WICC 2004 [CD-ROM] / Workshop de Investigadores en Ciencias de la Computación (6º : 2004 : Neuquén) Edición: 1a ed. (2004) (Libro)		----------
Analítica	Enseñando Métodos Formales con Coq	Luna, Carlos Daniel	EN: Anales JAIIO [CD-ROM] / Sin autor Edición: 37º JAIIO (2008) (CD-ROM)		----------
Analítica	Enseñando Métodos Formales con Coq.	Luna, Carlos Daniel	EN: WICC 2001 San Luis [CD-ROM] / Workshop de Investigadores en Ciencias de la Computación (3er : 2001 : San Luis) Edición: 1a ed. (2001) (Libro)		----------
Artículo	Ingeniería dirigida por modelos aplicada al control automático del almacenamiento en silos bolsa :	Calegari, Daniel			----------
Artículo	Minería de datos y big data: aplicaciones en señales y textos	Lanzarini, Laura Cristina	(2017)		----------
Analítica	Optimización del orden de evaluación de programas recursivos	Luna, Carlos Daniel	EN: CACIC 97 / Congreso Argentino de Ciencias de la Computación (3er : 1997 : La Plata) Edición: (1997) (Libro)		----------
Analítica	Organización para un Curso de Programación en un Contexto de Masividad. Una Experiencia.	Luna, Carlos Daniel	EN: WICC 2001 San Luis [CD-ROM] / Workshop de Investigadores en Ciencias de la Computación (3er : 2001 : San Luis) Edición: 1a ed. (2001) (Libro)		----------
Analítica	Taller de especificación, construcción y verificación formales de programas	Luna, Carlos Daniel	EN: CACIC 2003 [CD-ROM] / Congreso Argentino de Ciencias de la Computación (9º : 2003 : La Plata) Edición: 1a ed. (2003) (CD-ROM)		----------